/* 
 * File:   TerminalNode.h
 * Author: jcrada
 *
 * Created on April 4, 2009, 5:18 PM
 */

#ifndef _TERMINALNODE_H
#define	_TERMINALNODE_H

#include "Node.h"

namespace jcrada {
    
    class TerminalNode : public Node {
    private:
        int _value;
    public:
        TerminalNode( );
        virtual ~TerminalNode( );

        virtual void setValue( int value );
        virtual int getValue( ) const;

        virtual TerminalNode* clone( ) const;

        virtual std::string toString( )const;
    };
}

#endif	/* _TERMINALNODE_H */

